perm filename DSK[1,3] blob
sn#047679 filedate 1973-06-09 generic text, type T, neo UTF8
NIL
(((((1 0) (0 2)) 20 1 0) (((1 0) (0 2)) 20) (((1 0) (2 2)) 20) (((6 0) (5 2)) 20) (((6 0) (7 2)) 20) (((0 1) (0 ~
2)) 20) (((0 1) (0 3)) 20) (((1 1) (1 2)) 20) (((1 1) (1 3)) 21) (((2 1) (2 2)) 20) (((2 1) (2 3)) 20) (((3 1) (~
3 2)) 20) (((3 1) (3 3)) 20) (((4 1) (4 2)) 20) (((4 1) (4 3)) 20) (((5 1) (5 2)) 20) (((5 1) (5 3)) 20) (((6 1)~
(6 2)) 20) (((6 1) (6 3)) 20) (((7 1) (7 2)) 20) (((7 1) (7 3)) 20))
((((1 0) (2 2)) 20 1 0)
(((1 0) (0 2)) 22)
(((1 0) (2 2)) 22)
(((6 0) (5 2)) 22)
(((6 0) (7 2)) 22)
(((0 1) (0 2)) 22)
(((0 1) (0 3)) 22)
(((1 1) (1 2)) 22)
(((1 1) (1 3)) 23)
(((2 1) (2 2)) 22)
(((2 1) (2 3)) 22)
(((3 1) (3 2)) 22)
(((3 1) (3 3)) 23)
(((4 1) (4 2)) 22)
(((4 1) (4 3)) 22)
(((5 1) (5 2)) 22)
(((5 1) (5 3)) 22)
(((6 1) (6 2)) 22)
(((6 1) (6 3)) 22)
(((7 1) (7 2)) 22)
(((7 1) (7 3)) 22))
((((6 0) (5 2)) 20 1 0)
(((1 0) (0 2)) 22)
(((1 0) (2 2)) 22)
(((6 0) (5 2)) 22)
(((6 0) (7 2)) 22)
(((0 1) (0 2)) 22)
(((0 1) (0 3)) 22)
(((1 1) (1 2)) 22)
(((1 1) (1 3)) 22)
(((2 1) (2 2)) 22)
(((2 1) (2 3)) 22)
(((3 1) (3 2)) 22)
(((3 1) (3 3)) 22)
(((4 1) (4 2)) 22)
(((4 1) (4 3)) 23)
(((5 1) (5 2)) 22)
(((5 1) (5 3)) 22)
(((6 1) (6 2)) 22)
(((6 1) (6 3)) 23)
(((7 1) (7 2)) 22)
(((7 1) (7 3)) 22))
((((6 0) (7 2)) 20 1 0)
(((1 0) (0 2)) 20)
(((1 0) (2 2)) 20)
(((6 0) (5 2)) 20)
(((6 0) (7 2)) 20)
(((0 1) (0 2)) 20)
(((0 1) (0 3)) 20)
(((1 1) (1 2)) 20)
(((1 1) (1 3)) 20)
(((2 1) (2 2)) 20)
(((2 1) (2 3)) 20)
(((3 1) (3 2)) 20)
(((3 1) (3 3)) 20)
(((4 1) (4 2)) 20)
(((4 1) (4 3)) 20)
(((5 1) (5 2)) 20)
(((5 1) (5 3)) 20)
(((6 1) (6 2)) 20)
(((6 1) (6 3)) 21)
(((7 1) (7 2)) 20)
(((7 1) (7 3)) 20))
((((0 1) (0 2)) 20 0 0)
(((1 0) (0 2)) 19)
(((1 0) (2 2)) 19)
(((6 0) (5 2)) 19)
(((6 0) (7 2)) 19)
(((0 1) (0 2)) 19)
(((0 1) (0 3)) 19)
(((1 1) (1 2)) 19)
(((1 1) (1 3)) 19)
(((2 1) (2 2)) 19)
(((2 1) (2 3)) 19)
(((3 1) (3 2)) 19)
(((3 1) (3 3)) 19)
(((4 1) (4 2)) 19)
(((4 1) (4 3)) 19)
(((5 1) (5 2)) 19)
(((5 1) (5 3)) 19)
(((6 1) (6 2)) 19)
(((6 1) (6 3)) 19)
(((7 1) (7 2)) 19)
(((7 1) (7 3)) 19))
((((0 1) (0 3)) 20 1 -1)
(((1 0) (0 2)) 21)
(((1 0) (2 2)) 21)
(((6 0) (5 2)) 21)
(((6 0) (7 2)) 21)
(((0 1) (0 2)) 21)
(((0 1) (0 3)) 20)
(((1 1) (1 2)) 21)
(((1 1) (1 3)) 22)
(((2 1) (2 2)) 21)
(((2 1) (2 3)) 21)
(((3 1) (3 2)) 21)
(((3 1) (3 3)) 21)
(((4 1) (4 2)) 21)
(((4 1) (4 3)) 21)
(((5 1) (5 2)) 21)
(((5 1) (5 3)) 21)
(((6 1) (6 2)) 21)
(((6 1) (6 3)) 21)
(((7 1) (7 2)) 21)
(((7 1) (7 3)) 21))
((((1 1) (1 2)) 20 0 0)
(((1 0) (0 2)) 21)
(((1 0) (2 2)) 21)
(((6 0) (5 2)) 21)
(((6 0) (7 2)) 21)
(((0 1) (0 2)) 21)
(((0 1) (0 3)) 21)
(((1 1) (1 2)) 21)
(((1 1) (1 3)) 21)
(((2 1) (2 2)) 21)
(((2 1) (2 3)) 21)
(((3 1) (3 2)) 21)
(((3 1) (3 3)) 21)
(((4 1) (4 2)) 21)
(((4 1) (4 3)) 21)
(((5 1) (5 2)) 21)
(((5 1) (5 3)) 21)
(((6 1) (6 2)) 21)
(((6 1) (6 3)) 21)
(((7 1) (7 2)) 21)
(((7 1) (7 3)) 21))
((((1 1) (1 3)) 20 1 -1)
(((1 0) (0 2)) 21)
(((1 0) (2 2)) 21)
(((6 0) (5 2)) 21)
(((6 0) (7 2)) 21)
(((0 1) (0 2)) 21)
(((0 1) (0 3)) 22)
(((1 1) (1 2)) 21)
(((1 1) (1 3)) 20)
(((2 1) (2 2)) 21)
(((2 1) (2 3)) 22)
(((3 1) (3 2)) 21)
(((3 1) (3 3)) 21)
(((4 1) (4 2)) 21)
(((4 1) (4 3)) 21)
(((5 1) (5 2)) 21)
(((5 1) (5 3)) 21)
(((6 1) (6 2)) 21)
(((6 1) (6 3)) 21)
(((7 1) (7 2)) 21)
(((7 1) (7 3)) 21))
((((2 1) (2 2)) 20 0 0)
(((1 0) (0 2)) 21)
(((1 0) (2 2)) 21)
(((6 0) (5 2)) 21)
(((6 0) (7 2)) 21)
(((0 1) (0 2)) 21)
(((0 1) (0 3)) 21)
(((1 1) (1 2)) 21)
(((1 1) (1 3)) 21)
(((2 1) (2 2)) 21)
(((2 1) (2 3)) 21)
(((3 1) (3 2)) 21)
(((3 1) (3 3)) 21)
(((4 1) (4 2)) 21)
(((4 1) (4 3)) 21)
(((5 1) (5 2)) 21)
(((5 1) (5 3)) 21)
(((6 1) (6 2)) 21)
(((6 1) (6 3)) 21)
(((7 1) (7 2)) 21)
(((7 1) (7 3)) 21))
((((2 1) (2 3)) 20 1 -1)
(((1 0) (0 2)) 22)
(((1 0) (2 2)) 22)
(((6 0) (5 2)) 22)
(((6 0) (7 2)) 22)
(((0 1) (0 2)) 22)
(((0 1) (0 3)) 22)
(((1 1) (1 2)) 22)
(((1 1) (1 3)) 23)
(((2 1) (2 2)) 22)
(((2 1) (2 3)) 21)
(((3 1) (3 2)) 22)
(((3 1) (3 3)) 23)
(((4 1) (4 2)) 22)
(((4 1) (4 3)) 22)
(((5 1) (5 2)) 22)
(((5 1) (5 3)) 22)
(((6 1) (6 2)) 22)
(((6 1) (6 3)) 22)
(((7 1) (7 2)) 22)
(((7 1) (7 3)) 22))
((((3 1) (3 2)) 20 1 0)
(((1 0) (0 2)) 27)
(((1 0) (2 2)) 27)
(((6 0) (5 2)) 27)
(((6 0) (7 2)) 28)
(((0 1) (0 2)) 27)
(((0 1) (0 3)) 27)
(((1 1) (1 2)) 27)
(((1 1) (1 3)) 27)
(((2 1) (2 2)) 27)
(((2 1) (2 3)) 27)
(((3 1) (3 2)) 27)
(((3 1) (3 3)) 27)
(((4 1) (4 2)) 27)
(((4 1) (4 3)) 27)
(((5 1) (5 2)) 27)
(((5 1) (5 3)) 27)
(((6 1) (6 2)) 27)
(((6 1) (6 3)) 27)
(((7 1) (7 2)) 28)
(((7 1) (7 3)) 27))
((((3 1) (3 3)) 20 1 -1)
(((1 0) (0 2)) 28)
(((1 0) (2 2)) 28)
(((6 0) (5 2)) 28)
(((6 0) (7 2)) 29)
(((0 1) (0 2)) 28)
(((0 1) (0 3)) 28)
(((1 1) (1 2)) 28)
(((1 1) (1 3)) 28)
(((2 1) (2 2)) 28)
(((2 1) (2 3)) 29)
(((3 1) (3 2)) 28)
(((3 1) (3 3)) 27)
(((4 1) (4 2)) 28)
(((4 1) (4 3)) 29)
(((5 1) (5 2)) 28)
(((5 1) (5 3)) 28)
(((6 1) (6 2)) 28)
(((6 1) (6 3)) 28)
(((7 1) (7 2)) 29)
(((7 1) (7 3)) 28))
((((4 1) (4 2)) 20 0 -1)
(((1 0) (0 2)) 31)
(((1 0) (2 2)) 30)
(((6 0) (5 2)) 30)
(((6 0) (7 2)) 30)
(((0 1) (0 2)) 31)
(((0 1) (0 3)) 30)
(((1 1) (1 2)) 30)
(((1 1) (1 3)) 30)
(((2 1) (2 2)) 30)
(((2 1) (2 3)) 30)
(((3 1) (3 2)) 30)
(((3 1) (3 3)) 30)
(((4 1) (4 2)) 30)
(((4 1) (4 3)) 30)
(((5 1) (5 2)) 30)
(((5 1) (5 3)) 30)
(((6 1) (6 2)) 30)
(((6 1) (6 3)) 30)
(((7 1) (7 2)) 30)
(((7 1) (7 3)) 31))
((((4 1) (4 3)) 20 0 -2)
(((1 0) (0 2)) 31)
(((1 0) (2 2)) 30)
(((6 0) (5 2)) 30)
(((6 0) (7 2)) 30)
(((0 1) (0 2)) 31)
(((0 1) (0 3)) 30)
(((1 1) (1 2)) 30)
(((1 1) (1 3)) 30)
(((2 1) (2 2)) 30)
(((2 1) (2 3)) 30)
(((3 1) (3 2)) 30)
(((3 1) (3 3)) 31)
(((4 1) (4 2)) 30)
(((4 1) (4 3)) 29)
(((5 1) (5 2)) 30)
(((5 1) (5 3)) 31)
(((6 1) (6 2)) 30)
(((6 1) (6 3)) 30)
(((7 1) (7 2)) 30)
(((7 1) (7 3)) 31))
((((5 1) (5 2)) 20 0 0)
(((1 0) (0 2)) 19)
(((1 0) (2 2)) 19)
(((6 0) (5 2)) 19)
(((6 0) (7 2)) 19)
(((0 1) (0 2)) 19)
(((0 1) (0 3)) 19)
(((1 1) (1 2)) 19)
(((1 1) (1 3)) 19)
(((2 1) (2 2)) 19)
(((2 1) (2 3)) 19)
(((3 1) (3 2)) 19)
(((3 1) (3 3)) 19)
(((4 1) (4 2)) 19)
(((4 1) (4 3)) 19)
(((5 1) (5 2)) 19)
(((5 1) (5 3)) 19)
(((6 1) (6 2)) 19)
(((6 1) (6 3)) 19)
(((7 1) (7 2)) 19)
(((7 1) (7 3)) 19))
((((5 1) (5 3)) 20 1 -1)
(((1 0) (0 2)) 20)
(((1 0) (2 2)) 20)
(((6 0) (5 2)) 20)
(((6 0) (7 2)) 20)
(((0 1) (0 2)) 20)
(((0 1) (0 3)) 20)
(((1 1) (1 2)) 20)
(((1 1) (1 3)) 20)
(((2 1) (2 2)) 20)
(((2 1) (2 3)) 20)
(((3 1) (3 2)) 20)
(((3 1) (3 3)) 20)
(((4 1) (4 2)) 20)
(((4 1) (4 3)) 21)
(((5 1) (5 2)) 20)
(((5 1) (5 3)) 19)
(((6 1) (6 2)) 20)
(((6 1) (6 3)) 21)
(((7 1) (7 2)) 20)
(((7 1) (7 3)) 20))
((((6 1) (6 2)) 20 0 0)
(((1 0) (0 2)) 21)
(((1 0) (2 2)) 21)
(((6 0) (5 2)) 21)
(((6 0) (7 2)) 21)
(((0 1) (0 2)) 21)
(((0 1) (0 3)) 21)
(((1 1) (1 2)) 21)
(((1 1) (1 3)) 21)
(((2 1) (2 2)) 21)
(((2 1) (2 3)) 21)
(((3 1) (3 2)) 21)
(((3 1) (3 3)) 21)
(((4 1) (4 2)) 21)
(((4 1) (4 3)) 21)
(((5 1) (5 2)) 21)
(((5 1) (5 3)) 21)
(((6 1) (6 2)) 21)
(((6 1) (6 3)) 21)
(((7 1) (7 2)) 21)
(((7 1) (7 3)) 21))
((((6 1) (6 3)) 20 0 -2)
(((1 0) (0 2)) 21)
(((1 0) (2 2)) 21)
(((6 0) (5 2)) 21)
(((6 0) (7 2)) 21)
(((0 1) (0 2)) 21)
(((0 1) (0 3)) 21)
(((1 1) (1 2)) 21)
(((1 1) (1 3)) 21)
(((2 1) (2 2)) 21)
(((2 1) (2 3)) 21)
(((3 1) (3 2)) 21)
(((3 1) (3 3)) 21)
(((4 1) (4 2)) 21)
(((4 1) (4 3)) 21)
(((5 1) (5 2)) 21)
(((5 1) (5 3)) 22)
(((6 1) (6 2)) 21)
(((6 1) (6 3)) 20)
(((7 1) (7 2)) 21)
(((7 1) (7 3)) 22))
((((7 1) (7 2)) 20 0 0)
(((1 0) (0 2)) 19)
(((1 0) (2 2)) 19)
(((6 0) (5 2)) 19)
(((6 0) (7 2)) 19)
(((0 1) (0 2)) 19)
(((0 1) (0 3)) 19)
(((1 1) (1 2)) 19)
(((1 1) (1 3)) 19)
(((2 1) (2 2)) 19)
(((2 1) (2 3)) 19)
(((3 1) (3 2)) 19)
(((3 1) (3 3)) 19)
(((4 1) (4 2)) 19)
(((4 1) (4 3)) 19)
(((5 1) (5 2)) 19)
(((5 1) (5 3)) 19)
(((6 1) (6 2)) 19)
(((6 1) (6 3)) 19)
(((7 1) (7 2)) 19)
(((7 1) (7 3)) 19))
((((7 1) (7 3)) 20 2 0)
(((1 0) (0 2)) 21)
(((1 0) (2 2)) 21)
(((6 0) (5 2)) 21)
(((6 0) (7 2)) 21)
(((0 1) (0 2)) 21)
(((0 1) (0 3)) 21)
(((1 1) (1 2)) 21)
(((1 1) (1 3)) 21)
(((2 1) (2 2)) 21)
(((2 1) (2 3)) 21)
(((3 1) (3 2)) 21)
(((3 1) (3 3)) 21)
(((4 1) (4 2)) 21)
(((4 1) (4 3)) 21)
(((5 1) (5 2)) 21)
(((5 1) (5 3)) 21)
(((6 1) (6 2)) 21)
(((6 1) (6 3)) 22)
(((7 1) (7 2)) 21)
(((7 1) (7 3)) 20)))
NIL